div.doc-contents {
    padding-left: 25px;
    border-left: .05rem solid var(--md-typeset-table-color);
}
